$\forall$$n$:$\mathbb{N}^{+}$, $e$:$\mathbb{Q}$. $e$ $\uparrow$ $n$ = ($e$ $\uparrow$ $n$ {-} 1 $\ast$ $e$) $\in$ $\mathbb{Q}$